how to deploy jenkins on tomcat